Send the following on WhatsApp
Continue to ChatTraffic Network Control From Temporal Logic Specifications - https://avesis.metu.edu.tr/yayin/00a61041-7a82-46e8-93da-6e434c070b7b/traffic-network-control-from-temporal-logic-specifications
Traffic Network Control From Temporal Logic Specifications - https://avesis.metu.edu.tr/yayin/00a61041-7a82-46e8-93da-6e434c070b7b/traffic-network-control-from-temporal-logic-specifications